（来源：上观新闻）
一个值🗣♍得关注的📃细节是，💻加了N🔋🙉UMINA的🔼🍪1.3B🏌小模型（4🕚📶9.7💻%）居然🗄超过了完🌔🇲🇪全没有任👩🎨何辅助的🧬🐉5B大模型（4🚒🇰🇭7.8🤩%），这📸说明NUMINA👨💼🥑的引导🏩🇬🇩效果弥补了🇫🇮🍲相当一🇱🇦部分参数💾量带来的🇫🇰能力差距🔘。
”也许正是这种🕊🗓为企业服务的理念🎯，才有了今天🔦🇹🇭的“杭州六小☸🇵🇲龙”🦆。英伟达构建的🇿🇲🇲🇶是加速🧒计算（Accel💀era🌖🔉ted Com⚜🍌putin4️⃣g），而不📎👑是仅仅一个张😣🌖量处理单⛳🍔元（TPU）🕐。研究团队认为🥉，随着形式化方💔💈法的不断进步💢◽，形式化验证的🚌下一个“圣杯👨🦳👌”是贯穿软🗃🧥硬件全栈的端到端🐵🧬保证🐵。成本在下沉，🇨🇺🍼价值在上移🏙。他们的技术路👱🌈线是“🥍🔋强化学习+世界模🥑型”，目前只🥮有论文🇳🇮🔨，没有产🧴品🇧🇲。
